On Cantor’s important theorems
نویسنده
چکیده
Cantor proved that the n−dimensional manyfold remains continuous if the set of points with purely algebraic coordinates is removed. This proof is simplified and it is shown, that continuity is also preserved if the set of points with purely transcendental coordinates is removed. Cantor’s first proof of the uncountability of real numbers is modified to cover the set of algebraic numbers and even the set of rational numbers too. The principles and limitations of Cantor’s famous second diagonalization method are made easier comprehensible by simplifying Cantor’s infinite list. It facilitates to grasp the relation between natural numbers and rational numbers as well as between natural numbers and their powerset. The contradiction of any bijection between a set and its powerset can also be interpreted as evidence against the existence of any infinite sets, implying that transfinite cardinalities are meaningless. Some questions on the qualitative distinction between À0 and 2^8À0< and the magnitude of n for logn approaching infinity support this point of view.
منابع مشابه
Cantor’s Little Theorem
This article discusses two theorems of Georg Cantor: Cantor’s Little Theorem and Cantor’s Diagonal Theorem.These results are obtained by generalizing the method of proof ofthe well known Cantor’s theorem about the cardinalities of a setand its power set. As an application of these, Gödel’s firstincompleteness theorem is proved. Hints are given as to how to derive other deeper results including ...
متن کاملThe Banach-Tarski Paradox
What is a set? In the late 19th century, Georg Cantor was the first to formally investigate this question, thus founding the study of set theory as a mathematical discipline. Cantor’s definition of a set consisted of two intuitive principles. The first, Extensionality, asserts that two sets are equal exactly when they have the same members; the second, Comprehension, asserts that from any condi...
متن کاملIntertwining metaphysics and mathematics: the development of Georg Cantor’s set theory 1871-1887
This article discusses Georg Cantor’s philosophical defence of the existence of actual infinities in mathematics. The metaphysical background to Cantor’s argument is documented, emphasizing the philosophical references in Cantor’s main work, Grundlagen (1883). Cantor’s engagement with the history of philosophy, particularly the writings of Spinoza and Leibniz on infinity, is also documented. Fi...
متن کاملUndecidability of the existence of dictator for strongly candidate stable voting procedures in an infinite society and Cantor’s diagonal argument
The strong candidate stability theorem by Dutta et al. [4], one of the major theorems of social choice theory, states that, with a finite number of voters, there exists a dictator for any voting procedure which satisfies strong candidate stability, strong unanimity and independence of irrelevant alternatives (IIA). This paper investigates a decidability problem of voting procedures in a society...
متن کاملCantor on Frege’s Foundations of Arithmetic Cantor’s 1885 review of Frege’s Die Grundlagen der Arithmetik
In 1885, Georg Cantor published his review of Gottlob Frege’s Grundlagen der Arithmetik. In this essay we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor’s review, and a new translation of Frege’s brief response to Cantor. In recent years it has entered philosophical folklore that Cantor’s 1885 review o...
متن کامل